2141. The mathematics of logic : a guide to completeness theorems and their applications
پدیدآورنده : Kaye, Richard W.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
K32
2007
2142. The metaphysics and mathematics of arbitrary objects /
پدیدآورنده : Leon Horsten, University of Bristol
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,Mathematics-- Philosophy.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics),Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,MATHEMATICS-- Essays.,Mathematics-- Philosophy.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics)
رده :
QA8
.
4
.
H67
2019eb
2143. <The> metaphysics of the Tractatus
پدیدآورنده : Peter Carruthers,Title
کتابخانه: (طهران)
موضوع : Wittgenstein, Ludwig,- 1889-1951.- Tractatus logico-philosophicus,Logic, Symbolic and mathematical,Language and languages- Philosophy,Metaphysics
رده :
B
.
W563
,
T73224
3376
1990
2144. The nature of mathematics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica
رده :
QA9
.
B62
1959
2145. The nature of mathematics
پدیدآورنده : / by Max Black
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica,Russell, Bertrand, 1872-1970, joint author. Principia mathematica
رده :
QA9
.
B62
1934
2146. The nature of mathematics : a critical survey
پدیدآورنده : Black, Max
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
B62
2147. The nature of mathematics : a critical survey
پدیدآورنده : Black, Max
کتابخانه: (طهران)
موضوع : ، Whitehead, Alfred North, 1681-7491. Principia mathematica,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
B62
1959
2148. The nature of mathematics : a critical survey
پدیدآورنده : Black, Max
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Whitehead, Alfred North, 1681-7491. Principia mathematica
رده :
QA
9
.
B54
2149. The origin of the logic of symbolic mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematics ; Philosophy. ;
2150. The origin of the logic of symbolic mathematics :
پدیدآورنده : Burt C. Hopkins
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
H66
2011
2151. The priciples of science
پدیدآورنده : Jevons, William Stanley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic,، Logic, symbolic and mathematical,Methodology ، Science
رده :
Q
175
.
J48
1996
2152. The road to universal logic :
پدیدآورنده : Arnold Koslow, Arthur Buchsbaum, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,History of Mathematical Sciences,Logic,Mathematical Logic and Foundations,Mathematics
رده :
QA9
2153. The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau.
پدیدآورنده : Arnold Koslow, Arthur Buchsbaum, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic,Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
R63
2154. The search for certainty : a philosophical account of foundations of mathematics
پدیدآورنده : Giaquinto, Marcus
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
G52S4
2155. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
2156. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics
رده :
BC
71
.
E57
1995
2157. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L., 7491-
کتابخانه: (طهران)
موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics
رده :
BC
71
.
E56
2158. The semantic foundations of logic
پدیدآورنده : Epstein, Richard L.
کتابخانه: (طهران)
موضوع : Logic , Logic, Symbolic and mathematical, Semantics
رده :
BC
71
.
E57
1994
2159. The semantic foundations of logic
پدیدآورنده : / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Logic,Logic,symbolic and mathematical,Semantics
رده :
160
E64s
